Inhalt des Dokuments

Forschung

Artikel akzeptiert (FoSSaCS 2012)

Freitag, 16. Dezember 2011

Artikel "Is It a Good Encoding of Guarded Choice?" akzeptiert für FoSSaCS 2012 (Co-Autoren Kirstin Peters, Uwe Nestmann)

---